例句與造句

1. Studying the attribute reduction in incomplete information systems , a ga - based algorithm is proposed to reduce assignment with the compatibility relation taken into account
   摘要研究了不完備信息系統(tǒng)下的屬性約簡(jiǎn)，基于相容關(guān)系提出一種遺傳算法的分配約簡(jiǎn)算法，算法編碼采用了二進(jìn)制一維編碼形式，比較適合地表達(dá)了遺傳算子。
2. In light of the existing problem in researching the mechanism of prestressed anchor rope foundation beam system , and based on the loading and deformation compatibility relation of foundation and foundation beam of prestressed anchor rope foundation beam system , through decomposition and discretization of prestressed anchor rope foundation beam system , a new theoretical calculation method that can consider the interaction of prestressed anchor rope foundation beam system , is proposed
   摘要針對(duì)現(xiàn)階段預(yù)應(yīng)力錨索地梁與地基共同作用機(jī)理研究方面存在的問(wèn)題，以預(yù)應(yīng)力錨索地梁和地基巖土體之間荷載、變形協(xié)調(diào)關(guān)系為基礎(chǔ)，通過(guò)對(duì)預(yù)應(yīng)力錨索地梁體系的分解和離散化處理，建立了能考慮預(yù)應(yīng)力錨索地梁體系共同作用的預(yù)應(yīng)力錨索地梁計(jì)算理論和方法。
3. A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
   一個(gè)被廣泛用于驗(yàn)證實(shí)時(shí)系統(tǒng)的方法是根據(jù)被驗(yàn)證的實(shí)時(shí)性質(zhì),使用適當(dāng)?shù)碾p向模擬等價(jià)關(guān)系使無(wú)限的狀態(tài)空間轉(zhuǎn)化為有限的狀態(tài)等價(jià)類空間.算法只需要在這個(gè)有限的等價(jià)類空間里搜索就可以得到正確答案.但是,這個(gè)等價(jià)類空間的規(guī)模一般隨著系統(tǒng)規(guī)模的增大而產(chǎn)生爆炸性的增長(zhǎng),以至于在很多情況下,窮盡搜索這個(gè)空間是不現(xiàn)實(shí)的.該文引入了一個(gè)等價(jià)關(guān)系來(lái)驗(yàn)證一個(gè)由多個(gè)實(shí)時(shí)自動(dòng)機(jī)通過(guò)共享變量組成的并發(fā)系統(tǒng)是否滿足一個(gè)線性時(shí)段特性.同時(shí)，還引入了格局之間的兼容關(guān)系來(lái)避免對(duì)狀態(tài)等價(jià)類空間的窮盡搜索.基于這兩個(gè)關(guān)系,文章提出了一個(gè)算法來(lái)驗(yàn)證是否一個(gè)實(shí)時(shí)自動(dòng)機(jī)網(wǎng)滿足一個(gè)線性時(shí)段特性.實(shí)例研究顯示,此算法在某些情況下比其他一些工具有更好的時(shí)間和空間效率
4. Due to the difference of material characters and mechanics performance between concrete structures and soils , it is necessary to pay great attention to model the interface element , simulate the soil behavior and the optimization of the finite elements to satisfy the numerical precision and the compatibility relation of the whole project
   由于結(jié)構(gòu)與土的材料特性，受力性能等方面的差異，為了滿足有限元計(jì)算精度和效率的要求，合理的反映結(jié)構(gòu)與土體之間的位移協(xié)調(diào)，需要在結(jié)構(gòu)與土體之間設(shè)置恰當(dāng)?shù)慕佑|面單元，正確的模擬土的本構(gòu)關(guān)系，并盡可能地簡(jiǎn)化結(jié)構(gòu)的數(shù)值模型。
5. It's difficult to find compatibility relation in a sentence. 用compatibility relation造句挺難的